检索结果

Select

1. 支持模型驱动开发的软构件形式化描述方法

侯金奎, 王成端

计算机应用 2015, 35 (9): 2692-2700. DOI: 10.11772/j.issn.1001-9081.2015.09.2692

摘要（308）

PDF （1420KB）（355）

针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。

参考文献 | 相关文章 | 多维度评价

Select

2. 支持Web服务组合与验证的形式化模型

侯金奎, 王磊

计算机应用 2015, 35 (6): 1773-1779. DOI: 10.11772/j.issn.1001-9081.2015.06.1773

摘要（468）

PDF （1219KB）（404）

针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。

参考文献 | 相关文章 | 多维度评价

Select

3. 基于Agent的分布式模型形式化语义描述

侯金奎王磊

计算机应用 2013, 33 (12): 3423-3427.

摘要（497）

PDF （985KB）（427）

为解决分布式系统构建过程中系统组合和语义验证等方面的问题，基于范畴理论和进程代数，为基于Agent的分布式系统模型提出了一种形式化的语义描述框架。范畴图表用于描述整个系统的结构模型，态射用来表示系统各组成部分之间的交互和协作机制。在此基础上，对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨。应用研究表明，该框架适用于分布式系统模型的描述和构建，有助于分析系统分解和组合的正确性。

相关文章 | 多维度评价

Select

4. 基于图算法的二元组合文法分析

张玉艳杨潇黄国栋侯金奎

计算机应用

摘要（1559）

PDF （609KB）（943）

为解决二元组合文法(BCG)的算符优先计算分析中不能共享分析树空间的问题，并降低分析算法的空间花费以提高分析效率，提出了一种基于图算法的BCG分析方法。该方法以表格方式存储分析过程中产生的所有边，分析完成后根据边的跨度构造分析树，从而使边不再局限于某一特定分析树中，再根据BCG文法的特性实现分析过程中的剪枝。实验结果表明，该方法在花费的时间、产生边的数量和最终结果树的数量上都明显低于传统的图算法和基于算符优先的算法。

相关文章 | 多维度评价

Select

5. 支持多目标框架的Web应用开发方法

黄国栋万建成侯金奎李颖

计算机应用

摘要（1491）

目前多数基于MDA的Web应用开发工具将平台相关模型（PSM）定义为具体的目标运行框架，这使得基于某种平台的业务逻辑设计与目标运行框架产生过于紧密的耦合，降低了软件演化过程中设计模型的可重用性。为解决这些问题，将Web应用的运行框架描述添加到开发模型中，并且引入抽象平台相关模型和具体平台相关模型的概念，提出了一种支持多目标框架代码生成的扩展MDA开发模型。以J2EE作为目标平台，以JavaServer Faces作为目标运行框架进行实验研究表明，该方法提升了模型描述的灵活性和可重用性，能够对模型驱动的软件开发提供有力的支持。

相关文章 | 多维度评价

Select

6. 支持多设备交互的分层界面设计模型

高怀金孙建安石冰李晓龙侯金奎

计算机应用

摘要（1634）

PDF （686KB）（720）

针对多设备环境下人机交互的特性，提出了一种支持代码自动生成的界面设计方法。该方法建立了以人机交互为中心的分层界面设计模型，支持不同设备平台上的代码生成，能够为模型驱动的软件开发提供有力的支持。

相关文章 | 多维度评价

Select

7. 一种支持模型驱动开发的Web用户界面建模方法

侯金奎; 张玉艳; 万建成; 李晓龙

计算机应用

摘要（1693）

PDF （821KB）（1166）

针对Web应用的特点，提出了一种基于XML和界面模板技术的界面建模方法。该方法以图形化的方式在模型层展示了Web用户界面的直观样式，能够对模型驱动的软件开发提供有力的支持。

相关文章 | 多维度评价